若n∈N,(1+根号2)^n =(根号2)an + bn (an,bn∈Z)